摘要 :
The natural interaction between human and robot is full of challenges but indispensable. In this article, a human-robot interactive system is designed for humanoid robot SHFR-III. The system consists of three subsystems: multi-sen...
展开
The natural interaction between human and robot is full of challenges but indispensable. In this article, a human-robot interactive system is designed for humanoid robot SHFR-III. The system consists of three subsystems: multi-sensor positioning subsystem, emotional interaction subsystem, and dialogue subsystem. The multi-sensor positioning subsystem is designed to improve the positioning accuracy, the emotional interaction subsystem uses bimodal emotional recognition model and fuzzy emotional decision-making model to realize the emotion recognition and expression feedback to the interactive objects, and the dialogue subsystem with personal information can complete the response consistent with the default information and avoid conflicting responses. The experimental results show that the multisensor positioning subsystem has good environmental adaptability and positioning accuracy, the emotional interaction subsystem can achieve human-like emotional feedback, and the dialogue subsystem can achieve more natural, logical, and consistent responses.
收起
摘要 :
A technique is described that has been used to introduce flexibility into the specification of an interactive computer system. For the most part, the specification is written in English, but the portion of interest here uses a gra...
展开
A technique is described that has been used to introduce flexibility into the specification of an interactive computer system. For the most part, the specification is written in English, but the portion of interest here uses a graphical notation which has a precise meaning, yet can readily be understood by a non-specialist. This portion of the specification can easily be changed in a controlled manner. The technique was carried right through to the design and implementation, which retained the same flexibility. It is described here by means of a simple illustrative example.
收起
摘要 :
Multiagent Systems are a promising paradigm for software development. It is feasible to model such systems with many components where each one can solve a specific problem. This division of responsibilities allows multiagent syste...
展开
Multiagent Systems are a promising paradigm for software development. It is feasible to model such systems with many components where each one can solve a specific problem. This division of responsibilities allows multiagent systems to work in dynamically changing environments. An example of an environment that is very changeable is related with emergencies management. Emergency management systems depend on the cooperation of all their components due to their specialization. In order to obtain this cooperation, the components need to interact with each other and adapt their interactions depending on their purpose and the system components they are interacting with. Also, new components may arrive on the scene, which must be informed about the interaction policies that original components are using. Although Multiagent Systems are suited to managing scenarios of this kind, their effectiveness depends on their capacity to dynamically modify and adapt the protocols that control the interactions among agents in the system. In this paper, an infrastructure to support dynamically changing interaction protocols is presented.
收起
摘要 :
Management of our critical infrastructures is a vital component of our economic and homeland security policy. The degree to which these infrastructures are interdependent, due to increasing system complexity and technology, furthe...
展开
Management of our critical infrastructures is a vital component of our economic and homeland security policy. The degree to which these infrastructures are interdependent, due to increasing system complexity and technology, further complicates the task of infrastructure managers to maintain service. In this paper we use economic models of the U.S. economy to identify hidden interdepen-dencies in the supply chains of infrastructure. Critical connections between infrastructure systems, whether direct or indirect, pose a risk of one disruption causing a ripple effect across the economy. Our analysis shows that in many cases, the highest interdependencies between critical infrastructures occur upstream (e.g., in the second or third-level of the supply chain). Specific results are shown for the large upstream interdependencies (up to 10 times the direct dependencies) between transportation and power generation sectors. By revealing these upstream interdependencies infrastructure managers can take further preventative measures or make additional investments to avoid future infras ructure disruptions.
收起
摘要 :
For the Landau-Poisson system with Coulomb interaction in ?_x ~3, we prove the global existence, uniqueness, and large time convergence rates to the Maxwellian equilibrium for solutions which start out sufficiently close.
摘要 :
Interactive manufacturing is a new idea to cope with the difficulties caused by growing complexity of manufacturing activities. By interaction among humans such as designers, manufactures and consumers, and artifacts throughout ar...
展开
Interactive manufacturing is a new idea to cope with the difficulties caused by growing complexity of manufacturing activities. By interaction among humans such as designers, manufactures and consumers, and artifacts throughout artifact life-cycle each participant would iteratively improve. After classifying the problem difficulties in terms of incompleteness of the environment description and system specification, this study focuses on human interaction in production domain based on BiologicalManufacturing Systems. This paper shows how the virtual space combined with self-organization enables the human participation, and discusses the effectiveness of interactive manufacturing to solve the difficulties, by demonstrating an example usingindustry data.
收起
摘要 :
We consider a finite quantum system S coupled to two environments of different nature. One is a heat reservoir R (continuous interaction) and the other one is a chain C of independent quantum systems E (repeated interaction). The ...
展开
We consider a finite quantum system S coupled to two environments of different nature. One is a heat reservoir R (continuous interaction) and the other one is a chain C of independent quantum systems E (repeated interaction). The interactions of S with R and C lead to two simultaneous dynamical processes. We show that for generic such systems, any initial state approaches an asymptotic state in the limit of large times. We express the latter in terms of the resonance data of a reduced propagator of S + R and show that it satisfies a second law of thermodynamics. We analyze a model where both S and E are two-level systems and obtain the asymptotic state explicitly (at lowest order in the interaction strength). Even though R and C are not directly coupled, we show that they exchange energy, and we find the dependence of this exchange in terms of the thermodynamic parameters. We formulate the problem in the framework of W*-dynamical systems and base the analysis on a combination of spectral deformation methods and repeated interaction model techniques. We analyze the full system via rigorous perturbation theory in the coupling strength, and do not resort to any scaling limit, like e.g. weak coupling limits, or any other approximations in order to derive some master equation.
收起
摘要 :
A theory for the systematic development of distributed interactive software systems constructed in terms of components requires a basic system model and description techniques supporting specific views and abstractions of systems....
展开
A theory for the systematic development of distributed interactive software systems constructed in terms of components requires a basic system model and description techniques supporting specific views and abstractions of systems. Typical system views are the interface, the distribution, or the state transition view. We show how to represent these views by mathematics and logics. The development of systems consists in working out these views leading step by step to implementations in terms of sets of distributed, concurrent, interacting state machines. For large systems, the development is carried out by refinement through several levels of abstraction. We formalize the typical steps of the development process and express and justify them directly in logic. In particular, we treat three types of refinement steps: horizontal refinement which stays within one level of abstraction, vertical refinement addressing the transition from one level of abstraction to another, and implementation by glass box refinement. We introduce refinement relations to capture these three dimensions of the development space. We derive verification rules for the refinement steps and show the modularity of the approach.
收起
摘要 :
Networks represent a major modelling tool in complex systems and the natural sciences. When considering systems of interacting units, networks can only model pair interactions as represented by edges between nodes. This is a sever...
展开
Networks represent a major modelling tool in complex systems and the natural sciences. When considering systems of interacting units, networks can only model pair interactions as represented by edges between nodes. This is a severe limitation when one tries to model higher order interactions, like triple interactions etc. Some higher order interactions may be reduced to systems of pair interactions, but as we will illustrate there are, for example, triple interactions which are not reducible to pair interactions for quite deep mathematical reasons (Borromean structures). Therefore there is a need for a new kind of structure extending and encompassing networks in such a way that we can describe and model truly higher order structures. We suggest that this can be done by the concept of a Hyperstructure as introduced in [1]. Hyperstructures encompass networks and hierarchies and incorporate the phenomenon of levelwise emergence. They represent a design principle for higher order structures. It is natural to ask how hyperstructures occur in the natural sciences and complex systems and how they may be synthesized. We will discuss this, and relate it to recent work in synthetic chemistry, nuclear physics, quantum mechanical many body systems and ultracold gases. Furthermore, we will introduce the notion of hyperstructured (higher order) molecular architectures and hyperstructured (higher order) materials. We will present suggestions and conjectures on these matters.
收起
摘要 :
Growing demand, increasing diversity of services, and advances in transmission and switching technologies are prompting telecommunication companies to rapidly expand and modernize their networks. This paper develops and tests a de...
展开
Growing demand, increasing diversity of services, and advances in transmission and switching technologies are prompting telecommunication companies to rapidly expand and modernize their networks. This paper develops and tests a decomposition methodology to generate cost-effective expansion plans, with performance guarantees, for one major component of the network hierarchy-the local access network. The model captures economies of scale in facility costs and tradeoffs between installing concentrators and expanding cables to accommodate demand growth. Our solution method exploits the special tree and routing structure of the expansion planning problem to incorporate valid inequalities, obtained by studying the problem's polyhedral structure, in a dynamic program which solves an uncapacitated version of the problem. Computational results for three realistic rest networks demonstrate that our enhanced dynamic programming algorithm, when embedded in a Lagrangian relaxation scheme (with problem preprocessing and Ideal improvement), Is very effective in generating good upper and lower bound;: Implemented on a personal computer, the method generates solutions within 1.2-7.0% of optimality. In addition to developing a successful solution methodology for a practical problem, this paper illustrates the possibility of effectively combining decomposition methods and polyhedral approaches. [References: 17]
收起